141. The Turing omnibus :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.

رده :
QA76
.
D45
1989

142. The computer user

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(

رده :
QA
76
.
5
.
C612

143. The design and analysis of computer algorithms /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.

رده :
QA76
.
6
.
A36

144. The (new) Turing omnibus :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.

رده :
QA76
.
D448
1993

145. The secret life of programs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)

رده :
QA76
.
6
.
S735
2019

146. Truth, deduction, and computation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing

رده :
QA76
.
7
.
D386
1989

147. Type systems for distributed programs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)

رده :
QA76
.
76
.
V47

148. Understanding computers :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computadoras.,Computers.,Electronic data processing.

149. XML Schema /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.

رده :
QA76
.
76
.
H94
V36
2002

150. XML for data management /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic data processing.,XML (Document markup language),COMPUTERS-- Programming Languages-- HTML.,COMPUTERS-- Programming Languages-- XML.,Electronic data processing.,Electronic data processing.,XML (Document markup language),XML (Document markup language)

رده :
QA76
.
76
.
H94
A35
2004eb

151. ایجاد سیستم های معاملاتی خودکار در زبان MQL 5

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)

موضوع : ارز -- داده پردازی Foreign exchange -- Data processing زبان های برنامه نویسی کامپیوتر Programming languages )Electronic computers(

رده :
HG
3851
/
س
8
الف
9

152. برنامه‌نویسی شاخص‌های تکنیکی و معاملات خودکار در بازار فارکس به زبان MQL

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

موضوع : ارز,Foreign exchange,زبان‌های برنامه‌نویسی کامپیوتر,Programming languages (Electronic computers), -- داده پردازی, -- Data processing

رده :
‏‫‬‭‬‭
HG
۳۸۵۱ ‏‫‬‭‬‭
/
ی
۴
ب
۴ ۱۳۹۴